structural type system造句
例句與造句
- In languages with a structural type system, the top type is the empty structure.
- On the other hand, a structural type system would require the analysis of the whole module structure at compile time to determine type identity or type dependence.
- For example, in Haskell-like languages, which use a structural type system where types are always parametric and the actual code on those types is generic.
- A "'structural type system "'( or " property-based " type system ) is a major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration.
- These different " equational theories " of types vary widely, two extreme cases being " structural type systems ", in which any two types that describe values with the same structure are equivalent, and " nominative type systems ", in which no two syntactically distinct type expressions denote the same type ( " i . e . ", types must have the same " name " in order to be equal ).
- It's difficult to find structural type system in a sentence. 用structural type system造句挺難的